<html><head><script>
  function test() {
    var location = 'ws://localhost:12345/';
    var ws = new WebSocket(location);
  }
</script></head><body onload='test()'>
</body></html>